Inhalt des Dokuments
zur Navigation
Inhalt des Dokuments
Forschung
Artikel akzeptiert (FORTE 2015)
Montag, 30. März 2015
Artikel "Dynamic Causality in Event Structures" akzeptiert für FORTE 2015 (Autoren: Youssef Arbach, David Karcher, Kirstin Peters, Uwe Nestmann). Assoziiert mit DisCoTec 2015.